package prolog.builtins
import prolog.terms._

final case class get() extends FunBuiltin("get", 2) {
  override def exec(p: Prog) = {
    val s = getArg(0).asInstanceOf[Source]
    putArg(1, Const.the(s.getElement()), p)
  }
}